Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
581	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
582	A U T O M AT I N G A B S T R A C T I N T E R P R E TAT I O N OF ABSTRACT MACHINES james ian johnson April 2015 Add to Reading List Source URL: deeglaze.github.io Language: English - Date: 2016-08-09 00:27:10 Theoretical computer science Formal methods Abstract machine Semantics Algorithm Widening ACL2 Static program analysis Correctness Interpreter Actor model PdfTeX
583	R Foundations and Trends⃝ in Theoretical Computer Science Vol. 9, Nos. 3––407 c 2014 C. Dwork and A. Roth Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-03-06 20:30:08 Information privacy Privacy Digital rights Human rights Identity management Exponential mechanism Internet privacy Cynthia Dwork Medical privacy Theoretical computer science Algorithm Differential privacy
584	CS369N: Beyond Worst-Case Analysis Lecture #1: Instance Optimality∗ Tim Roughgarden† February 19, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-09-26 19:00:24 Theoretical computer science Computability theory Algorithm Mathematical logic Algorithms Recursion Function Algorithm characterizations Elliptic curve primality
585	the problem algorithms & nwk models results Efficiency of navigation in indexed networks Petter Holme Add to Reading List Source URL: petterholdotme.files.wordpress.com Language: English - Date: 2015-09-22 01:14:43 Operations research Algorithm Mathematical logic Theoretical computer science Flow network
586	Path Constraints in Semistructured Databases PETER BUNEMAN Department of Computer and Information Science, University of Pennsylvania 200 South 33rd Street, Philadelphia, PA Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Constraint programming Data modeling Functional dependency Theoretical physics Classical mechanics Loop quantum gravity
587	Performance, then Productivity Rethinking Solvers for Extreme Scale Architectures William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:11 Theoretical computer science Parallel computing Computability theory Algorithm Mathematical logic Recursion Blue Gene
588	Replication, Recursion and Concurrency J. Garrett Morris University of Edinburgh Sessions and linearity Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-09 09:03:28 Computability theory Theoretical computer science Recursion Process calculi -calculus Type Linear logic Linearity Primitive recursive function operator
589	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: pirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Algorithms HindleyMilner type system Lambda calculus Theoretical computer science Type inference Type theory Variable Questionnaire
590	The Implementation of equal? and eq? in the MT Virtual Machine Add to Reading List Source URL: con.racket-lang.org Language: English - Date: 2014-03-07 23:24:47 Recursion Theoretical computer science Mathematical logic Computability theory Programming idioms Infinite loop Functional programming Algorithm Structural induction

UPDATE